منابع مشابه
Compositional Software Synthesis of Communicating Processes
In this paper, we describe a new compositional software synthesis method for synthesizing concurrent software programs into ordinary C programs so that they can be executed on embedded processors without the need for a run-time multitasking operating system. The synthesized C program can be readily retargeted to different processors using available optimizing C compilers. The method works by tr...
متن کاملInteraction Patterns for Communicating Processes
Interaction dynamics describe the way entities relate and communicate with one another. Just as people interact in a variety of ways, communicating processes, such as software components, can also interact in many and highly complex ways. The software world is filled with examples of systems utilizing processes, objects, components, device drivers and entities by other names -interconnected in ...
متن کاملAbstract Patterns of Compositional Reasoning
Patterns of Compositional Reasoning Nina Amla1, E. Allen Emerson2, Kedar Namjoshi3, and Richard Trefler4 1 Cadence Design Systems 2 Univ. of Texas at Austin 3 Bell Labs, Lucent Technologies 4 Univ. of Waterloo Abstract. Compositional Reasoning – reducing reasoning about a conCompositional Reasoning – reducing reasoning about a concurrent system to reasoning about its individual components – is ...
متن کاملUsing Patterns for Communicating About Flexible Processes
We describe the experiences from a project in the medical domain where processes were modeled in modeling sessions in close cooperation with physicians. In this project, we experienced difficulties in modeling flexibilities within processes. Flexible and knowledge-intensive processes do not follow a fixed sequence of steps, but rely on knowledge and experience of the medical staff. During the p...
متن کاملViewing Objects as Patterns of Communicating Agents1
Following our own experience developing a concurrent object-oriented language as well of that of other researchers, we have identified several key problems in the design of a concurrency model compatible with the mechanisms of object-oriented programming. We propose an approach to language design in which an executable notation describing the behaviour of communicating agents is extended by syn...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Open Mind
سال: 2020
ISSN: 2470-2986
DOI: 10.1162/opmi_a_00032